Publications of Eric BARBONI
Célia Martinie, Philippe Palanque, David Navarre, Eric Barboni
Towards MBSE engineering dedicated to socio-technical interactive systems
CEAS Space Journal, 2024, ⟨10.1007/s12567-024-00536-0⟩
Célia Martinie, Philippe Palanque, Eric Barboni
Increasing engagement and well-being of operators working with automation by integrating task models and gameful design
Personal and Ubiquitous Computing, 2023, pp.1–28. ⟨10.1007/s00779-023-01783-4⟩
Carayon Axel, Juan Garrido, Célia Martinie, Philippe Palanque, Eric Barboni, María Dolores Lozano, Víctor Penichet
Engineering Rehabilitation: Blending Two Tool-supported Approaches to Close the Loop from Tasks-based Rehabilitation to Exercises and Back Again
Proceedings of the ACM on Human-Computer Interaction , 2023, 7: EICS (Article 177), pp.1-23. ⟨10.1145/3593229⟩
Célia Martinie, David Navarre, Philippe Palanque, Eric Barboni, Sandra Steere
Engineering Operations-based Training
Proceedings of the ACM on Human-Computer Interaction , 2022, ACM Journals, 6 : EICS (Article 164), pp.1-25. ⟨10.1145/3534518⟩
Marco Winckler, Philippe Palanque, Jean Luc Hak, Eric Barboni, Olivier Nicolas, Laurent Goncalves
Engineering Annotations: A Generic Framework For Gluing Design Artefacts in Models of Interactive Systems
Proceedings of the ACM on Human-Computer Interaction , In press, Journal PACM EICS series, EICS 2022 (EICS), pp.1-36. ⟨10.1145/3535063⟩
Alexandre Canny, Célia Martinie, David Navarre, Philippe Palanque, Eric Barboni, Christine Gris
Engineering Model-Based Software Testing of WIMP Interactive Applications: A Process based on Formal Models and the SQUAMATA Tool
Proceedings of the ACM on Human-Computer Interaction , 2021, 5 (EICS, article 207), pp.1-30. ⟨10.1145/3461729⟩
Célia Martinie, Philippe Palanque, Elodie Bouzekri, Andy Cockburn, Alexandre Canny, Eric Barboni
Analysing and Demonstrating Tool-Supported Customizable Task Notations
Proceedings of the ACM on Human-Computer Interaction , 2019, 3 (12), pp.1-26. ⟨10.1145/3331154⟩
Elodie Bouzekri, Alexandre Canny, Camille Fayollas, Célia Martinie, Philippe Palanque, Eric Barboni, Yannick Deleris, Christine Gris
Engineering Issues Related to the Development of a Recommender System in a Critical Context: Application to Interactive Cockpits
International Journal of Human-Computer Studies, 2019, 121, pp.122-141. ⟨10.1016/j.ijhcs.2018.05.001⟩
Eric Barboni, Célia Martinie, David Navarre, Philippe Palanque, Marco Winckler
Bridging the Gap between a Behavioural Formal Description Technique and User Interface description language: Enhancing ICO with a Graphical User Interface markup language
Science of Computer Programming, 2014, Special issue on Software Support for User Interface Description Languages (UIDL 2011), 86, Suppl C, pp.3-29. ⟨10.1016/j.scico.2013.04.001⟩
Camille Fayollas, Jean-Charles Fabre, Philippe Palanque, Eric Barboni, David Navarre, Yannick Deleris
Interactive Cockpits as Critical Applications: a Model-Based and a Fault-Tolerant Approach
In : International Journal of Critical Computer-Based Systems, Inderscience Publishers, Special issue Special Issue on Fault-Tolerant Computer Systems, Vol. 4 N. 3, pp. 202-226, 2013.
URL : http://www.inderscience.com/info/inarticle.php?artid=58407
BibTeXDavid Navarre, Philippe Palanque, Eric Barboni, Jean-François Ladry, Celia Martinie De Almeida
Designing for resilience to hardware failures in interactive systems: A model and simulation-based approach
In : Elsevier’s Safety Science, Elsevier, Special issue Reliability Engineering and System Safety, Vol. 96, pp. 38-52, January 2011.
David Navarre, Philippe Palanque, Jean-François Ladry, Eric Barboni
ICOs: a Model-Based User Interface Description Technique dedicated to Interactive Systems Addressing Usability, Reliability and Scalability
In : Transactions on Computer-Human Interaction, ACM SIGCHI, USA, Special issue User Interface Description Languages for Next Generation User Interfaces, Vol. 16 N. 4, pp. 1-56, November 2009.
Marco Antonio Winckler, Eric Barboni, Philippe Palanque, Christelle Farenc
What Kind of Verification of Formal Navigation Modelling for Reliable and Usable Web Applications?
In : Electronic Notes in Theoretical Computer Science (ENTCS), Elsevier, Vol. 157 N. 2, pp. 207-211, 2006.
Sandra Steere, Eric Barboni, Célia Martinie, David Navarre, Philippe Palanque, Daniel Rodriguez-Hernando, Francesc Tinto
Operator-centered and model-based design for critical HMIS
3rd Ground-Based Space Facilities Symposium (GBSF 2022), Dec 2022, Marseille, France. pp.1-9
Célia Martinie, Philippe Palanque, Sandra Steere, David Navarre, Eric Barboni
A Generic Framework for Structuring Configuration Management for Socio-technical System: Application to Control Rooms
IFIP WG 13.5 Workshop: Control Rooms in Safety Critical Contexts: Design, Engineering and Evaluation Issues (WS07) @ INTERACT 2021, IFIP (International Federation for Information Processing) Technical Committee 13 on Human–Computer Interaction; ACM, Aug 2021, Bari, Italy. pp.290-301, ⟨10.1007/978-3-030-98388-8_26⟩
Elodie Bouzekri, Alexandre Canny, Célia Martinie, Philippe Palanque, Eric Barboni, David Navarre, Christine Gris, Yannick Deleris
Revisiting system’s pages in engine indication and alerting system for flight crew using the DSCU architecture and the OQCR system generic state description
INCOSE International Conference on Human System Integration (INCOSE HSI 2019), Sep 2019, Biarritz, France. pp.1-9
Célia Martinie, David Navarre, Philippe Palanque, Eric Barboni, Alexandre Canny
TOUCAN: An IDE Supporting the Development of Effective Interactive Java Applications
ACM SIGCHI conference Engineering Interactive Computing Systems (EICS 2018), Jun 2018, Paris, France. pp.1-7, ⟨10.1145/3220134.3220136⟩
Elodie Bouzekri, Alexandre Canny, Camille Fayollas, Célia Martinie, Philippe Palanque, Eric Barboni, Yannick Deleris, Christine Gris
A List of Pre-Requisites to Make Recommender Systems Deployable in Critical Context
2nd Workshop on Engineering Computer-Human Interaction in Recommender Systems, co-located with the 9th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EnCHIReS @ EICS 2017), Jun 2017, Lisbonne, Portugal. pp.42-55
Camille Fayollas, Célia Martinie, Philippe Palanque, Eric Barboni, Yannick Deleris
What Can Be Learnt from Engineering Safety Critical Partly-Autonomous Systems when Engineering Recommender Systems
Workshop on Engineering Computer-Human Interaction in Recommender Systems (EnCHIReS 2016), Jun 2016, Bruxelles, Belgium. pp.14-25
Célia Martinie, Eric Barboni, David Navarre, Philippe Palanque, Racim Fahssi, Erwann Poupart, Eliane Cubero-Castan
Task Models for Supporting Function Allocation between Operators and Autonomous Systems: Application to Collision Avoidance Operations for Spacecraft (2016)
2016 Spring Symposium on Intelligent systems for supporting distributed human teamwork (AAAI-SS 2016), AAAI : Association for the Advancement of Artificial Intelligence, Mar 2016, Stanford, CA, United States. pp.85-94
Marco Winckler, Ricardo Cava, Eric Barboni, Philippe Palanque, Carla Freitas
Usability aspects of the inside-in approach for ancillary search tasks on the web
15th Human-Computer Interaction (INTERACT), Sep 2015, Bamberg, Germany. pp.211-230, ⟨10.1007/978-3-319-22668-2_18⟩
Eric Barboni, Arnaud Hamon, Célia Martinie, Philippe Palanque
A User-Centered View on Formal Methods: Interactive Support for Validation and Verification
Workshop on Formal Methods in Human Computer Interaction (FoMHCI 2015), Jun 2015, Duisburg, Germany. pp. 24-29
Camille Fayollas, Philippe Palanque, Jean-Charles Fabre, David Navarre, Eric Barboni, Martin Cronel, Yannick Deleris
A Fault-Tolerant Architecture for Resilient Interactive Systems
26ème Conférence Francophone sur l’Interaction Homme-Machine (IHM 2014), AFIA : Association Francophone d’Interaction Homme-Machine; Université Lille 1; INRIA Lille – Nord Europe, Oct 2014, Lille, France. pp.80-90, ⟨10.1145/2670444.2670462⟩
Camille Fayollas, Philippe Palanque, Jean-Charles Fabre, David Navarre, Eric Barboni, Martin Cronel, Yannick Deleris
Résilience des systèmes interactifs: contribution par une architecture tolérante aux fautes
26ème Conférence francophone sur l’Interaction Homme-Machine (IHM 2014), Association Francophone d’Interaction Homme-Machine, Oct 2014, Lille, France. pp.80-90
Ricardo Cava, Carla Freitas, Eric Barboni, Philippe Palanque, Marco Winckler
Inside-In Search: An Alternative for Performing Ancillary Search Tasks on the Web
9th Latin American Web Congress (LA-Web 2014), Oct 2014, Ouro Preto, Brazil. pp.91–99, ⟨10.1109/LAWeb.2014.21⟩
Arnaud Hamon, Eric Barboni, Philippe Palanque, Raphaël André
A Notation and a Layered Architecture to Model Dynamic Instantiation of Input Devices and Interaction Techniques: Application to Multi-Touch Interactions
Workshop on Engineering Gestures for Multimodal Interfaces (EGMI 2014), co-located with the 6th ACM SIGCHI – ICS 2014, Jun 2014, Rome, Italy
Arnaud Hamon, Philippe Palanque, Martin Cronel, Raphaël André, David Navarre, Eric Barboni
Formal Modelling of Dynamic Instantiation of Input Devices and Interaction Techniques: Application to Multi-Touch Interactions
6th ACM SIGCHI Symposium on Engineering Interactive Computing Systems – EICS 2014, ACM SIGCHI: Special Interest Group on Computer-Human Interaction, Jun 2014, Roma, Italy. pp.173-178, ⟨10.1145/2607023.2610286⟩
Célia Martinie, Eric Barboni, David Navarre, Philippe Palanque, Racim Fahssi, Erwann Poupart, Eliane Cubero-Castan
Multi-Models-Based Engineering of Collaborative Systems: Application to Collision Avoidance Operations for Spacecrafts (2014)
ACM SIGCHI conference Engineering Interactive Computing Systems (EICS 2014), ACM Special Interest Group on Computer-Human Interaction, Jun 2014, Rome, Italy. pp.95-94, ⟨10.1145/2607023.2607031⟩
Marco Winckler, Charly Carrère, Eric Barboni
Semantics of States and Transitions in statecharts-based markup languages: a comparative study between SWC and SCXML
1st Workshop on Engineering Interactive Computer Systems with SCXML (EICS 2014), Jun 2014, Rome, Italy. pp.28–32
Arnaud Hamon, Philippe Palanque, José Luis Silva, Yannick Deleris, Eric Barboni
Formal description of multi-touch interactions (regular paper)
In : ACM Special Interest Group on Computer-Human Interaction – Conference Engineering Interactive Computing Systems (SIGCHI – EICS 2013), City University London, UK, 25/06/13-27/06/13, ACM : Association for Computing Machinery, pp. 207-216, 2013.
José Luis Silva, Camille Fayollas, Arnaud Hamon, Philippe Palanque, Celia Martinie De Almeida, Eric Barboni
Analysis of WIMP and Post WIMP Interactive Systems based on Formal Specification (regular paper)
In : International Workshop on Formal Methods for Interactive Systems (FMIS 2013), London, 24/06/13, Electronic Communications of the EASST, (electronic medium), June 2013.
Celia Martinie De Almeida, Philippe Palanque, David Navarre, Eric Barboni, Marco Antonio Winckler
Un processus de développement outillé pour l’exploitation systématique des bénéfices offerts par une conception des systèmes interactifs centrée tâches. (regular paper)
In : Conférence Francophone sur l’Interaction Homme-Machine (IHM 2012), Biarritz, 17/10/12-19/10/12, ACM Digital Library, (on line), October 2012.
URL : http://dl.acm.org/
BibTeXCelia Martinie De Almeida, Philippe Palanque, David Navarre, Eric Barboni, Erwann Poupart
Systematic Approaches to Training Encompassing Operators mission and Interaction Techniques (short paper)
In : International Conference on Human-Computer Interaction in Aeronautics (HCI’Aero 2012), Brussels, 12/09/12-14/09/12, ACM Digital Library, (on line), September 2012.
URL : http://dl.acm.org/
BibTeXCelia Martinie De Almeida, Philippe Palanque, David Navarre, Eric Barboni
A Development Process for Usable Large Scale Interactive Critical Systems: Application to Satellite Ground Segments (regular paper)
In : Human-Centered Software Engineering (HCSE 2012), Toulouse, 29/10/12-31/10/12, Winckler Marco, Forbrig Peter , Bernhaupt Regina (Eds.), Springer, LNCS 7623, pp. 112-134, October 2012.
Arnaud Hamon, Philippe Palanque, David Navarre, Celia Martinie De Almeida, Adrienne Tankeu Choitat, Eric Barboni
Interactive Cockpits Applications: Modelling and Validation using a Petri-net based Formalism (regular paper)
In : European Congress on Embedded Real-Time Software (ERTS 2012), Toulouse, France, 01/02/12-03/02/12, ERTS : Embedded Real Time Sofware and Systems, (electronic medium), February 2012.
Arnaud Hamon, Philippe Palanque, Yannick Deleris, David Navarre, Eric Barboni
A Tool-supported Development Process for Bringing Touch Interactions into Interactive Cockpits for Controlling Embedded Critical Systems (regular paper)
In : International Conference on Human-Computer Interaction in Aeronautics (HCI’Aero 2012), Brussels, 12/09/12-14/09/12, ACM Digital Library, (on line), 2012.
URL : https://portail.irit.fr/partage/data/public/bd25d6e90fd48885.php
BibTeXCelia Martinie De Almeida, Philippe Palanque, David Navarre, Eric Barboni
A Tool-Supported Training Framework for Improving Operators: Dependability Confronted with Faults and Errors (regular paper)
In : Safety and Reliability for managing Risk (ESREL 2012), Helsinki, Finland, 25/06/12-29/06/12, Taylor & Francis Group, pp. 25-36, 2012.
Eric Barboni, Celia Martinie De Almeida, David Navarre, Philippe Palanque, Marco Antonio Winckler
UsiXML Concrete Behaviour with a Formal Description Technique for Interactive Systems (regular paper)
In : IFIP WG 2.7/13.4 Workshop on User Interface Description Languages (UIDL 2011), Lisbonne, Portugal, 06/09/11-06/09/11, Adrien Coyette, David Faure, Juan Gonzalez, Jean Vanderdonckt (Eds.), Thales Research and Technology, (electronic medium), 2011.
Celia Martinie De Almeida, Philippe Palanque, Eric Barboni, Martina Ragosta
Task-Model Based Assessment of Automation Levels: Application to Space Ground Segments (regular paper)
In : IEEE International Conference on Systems, Man and Cybernetics, Anchorage, 09/10/11-12/10/11, IEEE Computer Society – Conference Publishing Services, pp. 3267-3273, October 2011.
Celia Martinie De Almeida, Philippe Palanque, Eric Barboni, Marco Antonio Winckler, Martina Ragosta, Alberto Pasquini, Paola Lanzi
Formal Tasks and Systems Models as a Tool for Specifying and Assessing Automation Designs (regular paper)
In : International Conference on Application and Theory of Automation in Command and Control Systems (ATACCS 2011), Barcelone, 26/05/11-27/05/11, IRIT Press, (electronic medium), 2011.
Philippe Palanque, Eric Barboni, Celia Martinie De Almeida, David Navarre, Marco Antonio Winckler
A Tool Supported Model-based Approach for Engineering Usability Evaluation of Interaction Techniques (regular paper)
In : ACM Special Interest Group on Computer-Human Interaction – Conference Engineering Interactive Computing Systems (SIGCHI – EICS 2011), Pise, Italie, 13/06/11-16/06/11, ACM Press, pp. 21-30, 2011.
Jean-François Ladry, Philippe Palanque, David Navarre, Eric Barboni, Marco Antonio Winckler
Une approche à base de modèles pour l’ingénierie logicielle de techniques d’interaction (regular paper)
In : , Luxembourg, 20/09/10-23/09/10, ACM Digital Library, pp. 81-88, September 2010.
Jean-François Ladry, Philippe Palanque, Eric Barboni, David Navarre
Model-Based Usability Evaluation and Analysis of Interactive Techniques (short paper)
In : Workshop on Model Driven Development of Advanced User Interfaces (MDDAUI 2010), Atlanta Georgia USA, 10/04/10, Vol. 617, Jan Van den Bergh, Stefan Sauer, Kai Breiner, Heinrich Hußmann, Gerrit Meixner (Eds.), CEUR-WS : Workshop proceedings, pp. 21-24, July 2010.
Abstract URL : http://ceur-ws.org/Vol-617/MDDAUI2010_Paper06.pdf
BibTeXEric Barboni, Jean-François Ladry, David Navarre, Philippe Palanque, Marco Antonio Winckler
Beyond Modelling: An Integrated Environment Supporting Co-Execution of Tasks and Systems Models (regular paper)
In : ACM Special Interest Group on Computer-Human Interaction – Conference Engineering Interactive Computing Systems (SIGCHI – EICS 2010), Berlin, Allemagne, 19/06/10-23/06/10, ACM SIGCHI, pp. 143-152, 2010.
Philippe Palanque, Jean-François Ladry, Eric Barboni, David Navarre, Marco Antonio Winckler
Une Approche Formelle pour l’Evaluation de la Tolérance aux Interruptions des Système Interactifs (regular paper)
In : Conférence Francophone sur l’Interaction Homme-Machine (IHM 2009), Grenoble, 13/08/09-16/08/09, ACM Digital Library, pp. 141-150, October 2009.
Philippe Palanque, Jean-François Ladry, David Navarre, Eric Barboni
High-Fidelity Prototyping of Interactive Systems can be Formal too
In : HCI International, San Diego, CA, USA, 19/07/09-24/07/09, Springer-Verlag, pp. 21-30, July 2009.
Jean-François Ladry, Philippe Palanque, Sandra Basnyat, Eric Barboni, David Navarre
Dealing with Reliability and Evolvability in Description Techniques for Next Generation User Interfaces.
In : ACM International Conference on Human Factors in Computing Systems (ACM CHI 2008), Florence, Italy., 05/04/08-10/04/08, ACM : Association for Computing Machinery, (on line), 2008.
Stéphane Conversy, Eric Barboni, David Navarre, Philippe Palanque
Improving modularity of interactive software with the MDPC architecture
In : Engineering Interactive Systems (EHCI-HCSE-DSVIS 2007), Salamanca, Spain, 22/03/07-24/03/07, Springer-Verlag, pp. 321-338, 2007.
David Navarre, Philippe Palanque, Eric Barboni, Tomasz Mistrzyk
On the Benefit of Synergistic Model-based Approach for Safety Critical Interactive System Testing
In : TAsk MOdels DIAgrams for UI design (TAMODIA 2007), Toulouse, France, 07/11/07-09/11/07, Springer-Verlag, pp. 0-0, 2007.
Eric Barboni, David Navarre, Philippe Palanque, Sandra Basnyat
A Formal Description Technique for the Behavioural Description of Interactive Applications Compliant with ARINC Specification 661.
In : IEEE International Symposium on Industrial Embedded Systems (SIES 2007), Lisbon, Portugal,, 04/07/07-06/07/07, IEEE : Institute of Electrical and Electronics Engineers, 1-4244-0840-7, pp. 250-257, 2007.
Eric Barboni, Stéphane Conversy, David Navarre, Philippe Palanque
Model-Based Engineering of Widgets, User Applications and Servers Compliant with ARINC 661 Specification
In : Design Specification and Verification of Interactive Systems (DSV-IS 2006), Dublin, Ireland, 26/07/06-28/07/06, Springer-Verlag, LNCS, pp. 25-38, 2006.
Eric Barboni, David Navarre, Philippe Palanque, Sandra Basnyat
Addressing Issues Raised by the Exploitation of Formal Specification Techniques for Interactive Cockpit Applications (regular paper)
In : International Conference on Human-Computer Interaction in Aeronautics (HCI’Aero 2006), Seattle, USA, 20/09/06-22/09/06, Cépaduès, (on line), 2006.
URL : https://portail.irit.fr/partage/data/public/05a8b2e6f7547d58.php
BibTeXMarco Antonio Winckler, Christelle Farenc, Eric Barboni, Florence Pontico
Modélisation orientée tâche de la navigation d’un application Web: catalogue des thèses de l’AFIHM
In : 17émé Conférence Francophone sur l’Interaction Homme-Machine, Toulouse, France, 27/10/05-30/10/05, ACM : Association for Computing Machinery, pp. 91-99, October 2005.
Software Components: A Formal Semantics Based on Coloured Petri nets
In : FACS’05 – International Workshop on Formal Aspects of Component Software, Macao, 24/10/05-25/10/05, Luís Soares Barbosa (Eds.), ENTCS, October 2005.
Marco Antonio Winckler, Eric Barboni, Christelle Farenc, Philippe Palanque
What Kind of Verification of Formal Navigation Modelling for Reliable and Usable Web Applications?
In : First International Workshop on Automated Specification and Verification of Web Sites (WWV’2005), Valencia, Spain, 14/03/05-15/03/05, LNCS, pp. 33-36, March 2005.
Rémi Bastide, Eric Barboni, Xavier Lacaze, David Navarre, Philippe Palanque, Amélie Schyn, Didier Bazalgette
Supporting Intuition through Formal Specification of the User Interface for Military Aircraft Cockpit
In : HCI International 2005, Las Vegas, Nevada, USA, 22/07/05-27/07/05, TBD, July 2005.
Abstract URL : http://www.hci-international.org/first.asp
BibTeXRémi Bastide, Eric Barboni, Amélie Schyn
A Formal Model of Component Behaviour
In : WiSME@UML 2004 – Workshop WS5 at the 7th International Conference on the UML, Lisbon, Portugal, 11/10/04-11/10/04.
Component-Based Behavioural Modelling with High-Level Petri Nets
In : MOCA ’04 – Third Workshop on Modelling of Objects, Components and Agents, Aahrus, Denmark , 11/10/04-13/10/04, DAIMI, pp. 37-46, October 2004.
Abstract URL : http://liihs.irit.fr/barboni/pub/BastideMoca.pdf
BibTeXMarco Antonio Winckler, Eric Barboni, Christelle Farenc, Philippe Palanque
SWCEditor: A Model-based Tool for interactive Modelling of Web Navigation
In : CADUI 2004 5th International Conference on Computer-Aided Design of User Interfaces, Madeira Island, Portugal, 14/01/04-16/01/04, Kluwer Academic Publisher, pp. 55-56, January 2004.
Une approche centrée utilisateur des outils logiciels pour les techniques de description formelles: Application aux réseaux de Petri
In : Colloque des doctorants de l’EDIT, EDIT’ 04, Toulouse, France, 29/03/04-30/03/04.
Abstract URL : http://liihs.irit.fr/barboni/pub/BarboniEDIT04.pdf
BibTeXEric Barboni, Rémi Bastide, Xavier Lacaze, David Navarre, Philippe Palanque
Petri Net Centered versus User Centered Petri Nets Tools
In : AWPN 2003 – 10th Workshop Algorithms and Tools for Petri Nets, Eichstätt, Germany, 26/09/03-27/09/03, —, September 2003.
Abstract URL : http://liihs.irit.fr/barboni/pub/PalanqueAWPN2003.pdf
BibTeX
Célia Martinie, Philippe Palanque, Eric Barboni
Principles of Task Analysis and Modeling: Understanding Activity, Modeling Tasks, and Analyzing Models
Jean Vanderdonckt; Philippe Palanque; Marco Winckler. Handbook of Human Computer Interaction, Springer International Publishing, pp.1-40, 2022, 978-3-319-27648-9. ⟨10.1007/978-3-319-27648-9_57-1⟩
Camille Fayollas, Célia Martinie, Philippe Palanque, Eric Barboni, Racim Fahssi, Arnaud Hamon
Exploiting Action Theory as a Framework for Analysis and Design of Formal Methods Approaches: Application to the CIRCUS Integrated Development Environment
Weyers, Benjamin; Bowen, Judy; Dix, Alan; Palanque, Philippe. The Handbook of Formal Methods in Human-Computer Interaction, Springer International Publishing, pp.465–504, 2017, Human–Computer Interaction Series book series (HCIS), 978-3-319-51837-4. ⟨10.1007/978-3-319-51838-1_17⟩
Xavier Lacaze, Philippe Palanque, Eric Barboni, Rémi Bastide, David Navarre
From DREAM to Realitiy: Specificities of Interactive Systems Development with respect to Rationale Management
In : RATIONALE MANAGEMENT IN SOFTWARE ENGINEERING. Allen H. Dutoit, Raymond McCall, Ivan Mistrik, Barbara Paech (Eds.) , Springer-Verlag, pp. 155-172, February 2007.
Xavier Lacaze, Philippe Palanque, Eric Barboni, David Navarre
Design Rationale for Increasing Profitability of Interactive Systems Development
In : Encyclopedia of Human Computer Interaction. Claude Ghaoui (Eds.) , Idea Group Reference, pp. 15, August 2005.
Formal Methods for Software Components applied Interactive Safety Critical System
Master’s Thesis, Université Paul Sabatier, September 2006.
Eric Barboni, David Navarre, Philippe Palanque, Didier Bazalgette
PetShop : A Model-Based Tool for the Formal Modelling and Simulation of Interactive Safety Critical Embedded Systems. . Proceedings of HCI aero conference (Demonstration) (HCI Aero 2006), Seatle, USA, Sept. 2006.
September 2006.